Formal series over sorted algebras

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

HYPERTRANSCENDENTAL FORMAL POWER SERIES OVER FIELDS OF POSITIVE CHARACTERISTIC

Let $K$ be a field of characteristic$p>0$, $K[[x]]$, the ring of formal power series over $ K$,$K((x))$, the quotient field of $ K[[x]]$, and $ K(x)$ the fieldof rational functions over $K$. We shall give somecharacterizations of an algebraic function $fin K((x))$ over $K$.Let $L$ be a field of characteristic zero. The power series $finL[[x]]$ is called differentially algebraic, if it satisfies...

متن کامل

Application and Formal Specification of Sorted Term-Position Algebras

Sorted term-position algebras are an extension of term algebras. In addition to sorted terms with constructor and selector functions, they provide term positions as algebra elements and functions that relate term positions. This paper describes possible applications of termposition algebras and investigates their formal specification in existing specification frameworks. In particular, it prese...

متن کامل

Formal groups over Hopf algebras

The aim of this section is to define some generalization of the notion of formal group. More precisely, we consider the analog of formal groups with coefficients belonging to a Hopf algebra. We also study some example of a formal group over a Hopf algebra, which generalizes the formal group of geometric cobordisms. Recently some important connections between the Landweber-Novikov algebra and th...

متن کامل

Formal Series of General Algebras over a Field and Their Syntactic Algebras

Any mapping S : C → K, where K is a field and C = (C,Σ) is a Σ-algebra, is called a KC-series. These series are natural generalizations of both formal series on strings over a field and the tree series introduced by Berstel and Reutenauer [1]. We consider various operations on KC-series and their effects on the linear extensions of the series. We also study some algebraic aspects of theKΣ-algeb...

متن کامل

Lie Algebras of Formal Power Series

Pseudodifferential operators are formal Laurent series in the formal inverse ∂−1 of the derivative operator ∂ whose coefficients are holomorphic functions. Given a pseudodifferential operator, the corresponding formal power series can be obtained by using some constant multiples of its coefficients. The space of pseudodifferential operators is a noncommutative algebra over C and therefore has a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Discrete Mathematics

سال: 2002

ISSN: 0012-365X

DOI: 10.1016/s0012-365x(01)00294-1